$t$ $\in$ $T$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$t$ = $t$ $\in$ $T$